#ifndef _TIMER4_H_
#define _TIMER4_H_
#include "Global.h"

void Tim41_IntervalTimer(uint32 time_interval);
void tim41_channel0_interrupt(void *msg);

#endif

